FunTAL: reasonably mixing a functional language with assembly

validation of a revised logical-mathematical intelligence scale and exploring its relationship with english language proficiency

نظریه هوش چندگانه قسمتهای متفاوت هوش بشری را مورد بررسی قرار می دهد که با شناخت آن شخص به درک بهتری از توانایی های خود میرسد و در نتیجه سعی در استفاده از آن جهت یادگیری بهتر میکند. همچنین با شناخت استعداد دانش آموزان، فرایند یادگیری بهتر میشود. هدف از انجام دادن این تحقیق بررسی رابطه بین هوش ریاضی و استعداد یادگیری زبان انگلیسی میباشد. برای انجام این تحقیق از پرسشنامه هوش ریاضی که توسط شیرر در ...

A Functional Language with Classes

Reasonably Programmable Syntax

Programming languages commonly provide “syntactic sugar” that decreases the syntactic cost of working with certain standard library constructs. For example, Standard ML builds in syntactic sugar for constructing and pattern matching on lists. Third-party library providers are, justifiably, envious of this special arrangement. After all, it is not difficult to find other situations where library...

A Reasonably Language Independent, Heuristic Algorithm for the Marking of Names in Running Texts

0. Introduction T h e id en tifica tio n o f n am es an d abbrev ia tions in a ra w te x t is a n im p o rtan t sub ac tiv ity in the "to k en iza tio n " p ro cess , i.e . th e id en tifica tion o f th e b as ic u n its o f th e tex t: parag raphs, sen ten ces a n d w ords. T o k en iza tio n is in its tu rn an im p o rtan t su b ac tiv ity in th e "norm alization" o f tex ts , th e to ta lity...

A Multithreaded Typed Assembly Language

We present an assembly language targeted at shared memory multiprocessors, where CPU cores synchronize via locks, acquired with a traditional test and set lock instruction. We show programming examples taken from the literature on Operating Systems, and discuss a typing system that enforces a strict protocol on lock usage and that prevents race conditions. 1. MOTIVATION The need for fast inform...